\begin{code}
module Issue2224WrongExtension where
\end{code}
